Suchergebnis

• The analysis of algorithms Purdom, Paul Walton ; Brown, Cynthia A. New York [u.a.] : Holt, Rinehart and Winston, 1985

• Software engineering and formal methods 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings Giannakopoulou, Dimitra (Hrsg.) ; SEFM <12., 2014, Grenoble> Cham [u.a.] : Springer, 2014

• Software engineering and formal methods 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings Calinescu, Radu C. (Hrsg.) ; SEFM <13., 2015, York> Cham [u.a.] : Springer, 2015